<?xml version='1.0' encoding='utf-8' ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
	<head>
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
		<title>ValidationRules</title>
		<link type="text/css" rel="stylesheet" href="PLUGINS_ROOT/org.polarsys.capella.doc/html/styles.css"/>
	</head>
	<body>
		<h1 id="Design_.3E_Well-formedness_.3E_Scenarios">Design &gt; Well-formedness &gt; Scenarios</h1>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DCOM_24 - Sequence Message conveys no Exchange Item compared to its Invoked Operation </td>
			</tr>
			<tr>
				<td colspan="2">This rule generates a warning if a Sequence Message has no Exchange Item while its Invoked Operation has some.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_DS_01 - InteractionUse referenced scenario check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that an Interaction uses correctly references of a scenario.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_02 - Role instance type check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that an Instance Role is correctly typed.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_03 - Scenario sequence message invoked operations check 1 </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that sequence messages have an invoked operation.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_04 - Scenario sequence message invoked operations check 2 </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that sequence messages have a correct invoked operation (sender shall use/require operation's interface and receiver shall implement/provide operation's interface).</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_DS_05 - Scenario sequence messages justification check 1 </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that sequence messages are justified in sender/receiver Components terms between scenarios from different levels.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_DS_06 - Scenario sequence messages justification check 2 </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that sequence messages are justified in Operation terms between scenarios from different levels.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_07 - Sequence Messages not null invoked operation check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that Sequence Messages have a not null invoked operation.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_08 - Ordering of interaction fragments </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that scenarios have a coherent ordering, i.e. finish of time lapses are after the corresponding beginning.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_09 - Sequence message allocated exchange items </td>
			</tr>
			<tr>
				<td colspan="2">This rule ensures that a sequence message does not allocate exchange items which are not allocated by invoked operation of sequence message.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_10 - Consistency of Scenario Kind vs level </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks the consistency between Scenario kind and Level:
					<p>On OA level, only INTERACTION Scenarios are allowed,
						On SYS/LC/PC levels, only DATA_FLOW, INTERFACE and FUNCTIONAL Scenarii are allowed,
						On EPBS level, only INTERFACE Scenarios are allowed.
						Whatever the level, UNSET Scenarios raise an error.</p>
				</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_11 - Scenario branchs sequence messages order check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that sender and reply branches sequence messages are not inverted.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_DS_12 - Scenario sequence messages and operations / functional exchanges consistency </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks name consistency between operations / functional exchanges and sequence messages.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_13 - Timer must be a reflexive message </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that an arm timer or cancel timer message is reflexive.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_14 - A cancel timer must be within an arm timer </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that a cancel timer message is within an arm timer message.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_15 - a shared data READ must be within an execution </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that a shared data READ is within an execution.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_16 - Logical component scenario involvement decomposition check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks the refinement needed for decomposed Logical components.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="WARNING" alt="WARNING" border="0" src="../../../../Images/warning.gif"/>
				</th>
				<td>DWF_DS_17 - A sequence message kind must be coherent with its transmission protocol </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that a sequence message kind is coherent with its transmission protocol.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_18 - OES/ES Sequence Messages consistency check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that Sequence Messages in OES or ES scenarios are consistent with their associated Component Exchange or Functional Exchange.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_19 - OAS/FS Sequence Messages consistency check </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that Sequence Messages in OAS or FS scenarios are consistent with their associated Functional Exchange.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_20 - OES/ES State Fragments related function allocation consistency </td>
			</tr>
			<tr>
				<td colspan="2">Check that the AbstractFunction related to the current StateFragment is allocated by the Component (or a sub Component) associated to the instance role.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_21 - OES/ES State Fragments related Mode/State consistency </td>
			</tr>
			<tr>
				<td colspan="2">Check that the Mode/State related to the current StateFragment is contained by the Component associated to the instance role.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_22 - OAS/FS AbstractFunction availability in Mode/State </td>
			</tr>
			<tr>
				<td colspan="2">Check that the AbstractFunction associated to the instance role is available for the Mode/State related to the current StateFragment.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_23 - Invalid referenced scenario </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that the interactionUse is referencing a Scenario that exists at the current Architectural Level.</td>
			</tr>
		</table>
		<p>
			<br/>
		</p>
		<table class="VALIDATION-RULE">
			<tr>
				<th>
					<img title="ERROR" alt="ERROR" border="0" src="../../../../Images/error.gif"/>
				</th>
				<td>DWF_DS_24 - Instance role has different name compared to represented instance </td>
			</tr>
			<tr>
				<td colspan="2">This rule checks that the Instance Role has the same name as its Represented Instance.</td>
			</tr>
		</table>
	</body>
</html>